Submit Program | Contact us
downloads programs from a to z
PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantifi
Search:
 » Home » Education » Mathematics » PawLogic -- License B 1.0.3
Company: Paweng.com
License: Shareware
Version: 1.0.3
System: Palm OS
Size: 0
Date Released: January 26, 2002
Price: $12
Screenshot: No Screenshot
Downloads: 1212
Homepage: http
Date added: Sep 23, 2005
Click here to Download

PawLogic is a program for manipulating boolean expressions. The
program handles both expressions in propositional logic and quantified
boolean formulae (QBF).



Logic is widely used today. It forms the basis of mathematical
proof methods. It is used in formal verification like symbolic model
checking and equivalence checking of combinational and sequential
circuits. Logic is also behind product configurators and the construction of
remote controls and traffic light intersections. And logic is
something we all use daily. For example, most of us readily accept the
following reasoning: `If it rains, I get wet. It rains. Therefore I
get wet.` This is applied logic.



PawLogic lets you work and experiment with logic. If you are a
student of logic, you get a valuable tool to aid you in your
studies. If you are a professional working with logic, you get an
always accissible logic program for you to use whether at the office,
at home or on the move. And if you are just interested in the world of
logic, here is your chance to get hands-on experience.



PawLogic works under PalmOS 2.0 and higher. Copyright © 2000
Poul F. Williams. All Rights Reserved.



Visit the PawEng webpage for more information. We have a manual available online including a number of screenshots.

NEWS

So far, nothing for that!

RECOMMENDED DOWNLOADS IN THIS CATEGORY
 » Home  » Education » Mathematics (10) Select page: [1]
 » HiDigit 1.1
HiDigit is a new calculating software with extended capabilities. This is an essential application for math, algebra, calculus, geometry, physics and engineering students. The main advantage of the software is a simple input format even for the most compl ...
Binary Things | 1021KB | Win 98/ME/NT/2000/XP | $19.95 | Downloads: 1242
Date added: Sep 23, 2005 |  » Details
 » Mental Math Practice 1.2
Free mental math practice software. Covers all the basic math skills - Addition, Subtraction, Multiplication, and Division. You choose what you want to work on. The software delivers the questions, checks your answers, and keeps your score so you can see ...
Fun With Figures.com | 356KB | Win 3.x/95/98/ME/NT/2000/XP | 0 | Downloads: 1237
Date added: Sep 23, 2005 |  » Details
 » Kalkulator 2.41
The Mother of all Calculators, a Swiss Army knife for scientists and engineers. Perhaps the most capable scientific/engineering calculator for Windows. On one hand, this is a calculator: evaluates expressions with more than 100 functions (trig/inverse, l ...
J. Andrzej Wrotniak | 956KB | Win 95/98/ME/NT/2000/XP | $40 | Downloads: 1208
Date added: Sep 23, 2005 |  » Details
 » 3D Calculator 1.00
3D Calculator is a software emulation of Graphic Calculators. It supports 2D/3D Plotting and Programming using a high level Programming Language. MAIN FEATURES o Support unlimited number of variable definitions. o All calculations are made in extended r ...
Farid ABAZIZ | 1906KB | Win 98/ME/NT/2000/XP | $40 | Downloads: 1600
Date added: Sep 23, 2005 |  » Details
 » Scubamat 1.0
Diving parameters calculator, breathing mix maker and tank filler. English and italian language support ...
Rodomontano Software | 460KB | Win 3.x/95/98/ME/2000/XP | 0 | Downloads: 1160
Date added: Sep 23, 2005 |  » Details
 » MatrixCalculator 1.1.1
Morello Matrix Calculator is a simple, pocket calculator style program which performs most standard matrix calculations. It supports matrices up to 20 elements square (shareware version is limited to 2 elements square). It also allows data to be excha ...
Morello Publishing Ltd | 229KB | Win 95/98/ME/NT/2000/XP | $10 | Downloads: 1183
Date added: Sep 23, 2005 |  » Details
 » AbleCalc 1.1
AbleCalc is a great tool for anyone needing mathematical help with calculations. The program shows big numbers in natural style, not as `12345E+1234` and also displays a symbol representing your current operation at the left of the entry field. This i ...
MathTerra Software | 673KB | Win 95/98/ME/NT/2000/XP | | Downloads: 1677
Date added: Sep 23, 2005 |  » Details
 » Numbers Up! Volcanic Panic Mac 1.2.2
This fun math game for ages 4-15 covers all basic skills.Its board game format has 7500 number fact and problem questions in numeration, addition, subtraction, multiplication, division, fractions, decimals, percentage and ratio at 26 graded levels. Vari ...
EdAlive | 11386KB | Mac PPC | | Downloads: 1192
Date added: Sep 23, 2005 |  » Details
 » Numbers Up! Volcanic Panic OSX 1.2.2
This fun math game for ages 4-15 covers all basic skills.Its board game format has 7500 number fact and problem questions in numeration, addition, subtraction, multiplication, division, fractions, decimals, percentage and ratio at 26 graded levels. Vari ...
EdAlive | 11369KB | Not Applicable | | Downloads: 1060
Date added: Sep 23, 2005 |  » Details
 » Numbers Up! Baggin` the Dragon Mac 1.1
This fun math game for ages 4-15 covers geometry, shape, measurement, algebra and data strands. A board game format is used to present 3200 questions across 14 categories in 11 graded levels. Varied question styles, with many interactive problem-solving ...
EdAlive | 13967KB | Mac PPC | | Downloads: 1103
Date added: Sep 23, 2005 |  » Details
 » MathX 2.0
Well.. a little program very usefull for students. It easyly create 2D or 3D graphic of the mathematical functions ! ...
Bobalca Iulian | 827KB | Win 95/98/ME/2000/XP | 0 | Downloads: 1355
Date added: Sep 23, 2005 |  » Details
 » Universal Scientific Calculator 3
A Super Calculator, many maths functions, charts, 20 educational and ludic games. Math Functions: sin, cos, tan, asin, acos, atan, x2, 1/x, root, %, log, exp, pi, hyperbolic x^y, secant, asec, cotang. Factorization. Financal: expiries, capital, rate, cu ...
Swing | 6700KB | Win 95/98/ME/NT/2000/XP | $9 | Downloads: 1188
Date added: Sep 23, 2005 |  » Details
 » IOSO NS Academic edition 1.1
You have an object, which should be improved by optimum coordination of several independent parameters, and executable mathematical model of this object, which computes its efficiency index depending on these parameters. Using IOSO NS 1.1 Academic edition ...
IOSO Technology Center | 7675KB | Win 98/ME/NT/2000/XP | | Downloads: 1142
Date added: Sep 23, 2005 |  » Details
 » Digital Math Teacher 1.0
Digital Math Teacher will help children to learn addition, substraction, division and multiplication, but it can also be used by adults who want to brush up on their education. It can also be an aid for teachers since the program has the ability to gener ...
PureGaming.org | 1794KB | Win 95/98/ME/2000/XP | $8 | Downloads: 1385
Date added: Sep 23, 2005 |  » Details
 » Abilities Builder Whole Number Math Facts 6.1
Learn whole number math facts: addition, subtraction, multiplication, division. Generate printed worksheets and tests that reinforce the on-screen activities. Multimedia program uses the Microsoft Agent Peedy the parrot character. Suitable for all grade ...
Teacher Interactive Software | 2010KB | Win 95/98/ME/NT/2000/XP/CE | $25 | Downloads: 1539
Date added: Sep 23, 2005 |  » Details
 » Abilities Builder Add & Subtract Whole Numbers 6.1
Improve whole number addition and subtraction computation skills from simple to complex problems. Math facts exercises are included. Randomly generated problems are structured and worked out number by number as you would on paper with immediate feedback a ...
Teacher Interactive Software | 2330KB | Win 95/98/ME/NT/2000/XP/CE | $19 | Downloads: 1498
Date added: Sep 23, 2005 |  » Details
 » Abilities Builder Multiply Whole Numbers 6.1
Improve whole number multiplication computation skills from simple to complex problems. Math facts exercises are included. Randomly generated problems are structured and worked out number by number as you would on paper with immediate feedback and correct ...
Teacher Interactive Software | 2360KB | Win 95/98/ME/NT/2000/XP/CE | $29 | Downloads: 1490
Date added: Sep 23, 2005 |  » Details
 » FNA 1.31a
FNA is a multi-function scientific calculator and unit conversion utility. Four modes of operation (statistics, trigonomety, base-n, and unit conversion). Convert units of Acceleration, Angle, Area, Density, Energy, Force, Fuel Efficiency, Length, Mass/ ...
RJ Software | 319KB | Win 95/98/ME/NT/2000/XP | $19.95 | Downloads: 1233
Date added: Sep 23, 2005 |  » Details
 » Equation Maker 1.00
Equation Maker is fast and versatile math editor. This program designed for edit rich-text content with almost any math formulas and graphics. It works like TeX or HTML but with simple terms.It search in ASCII text for math formulas, hyperlinks and pictur ...
EquaSoft | 830KB | Win 98/ME/2000/XP | $25 | Downloads: 1436
Date added: Sep 23, 2005 |  » Details
 » Matego 1.32
Like in chess or checkers, in Matego you also fight against an hostile army. But this time your soldiers are numbers and your weapons all four basic math operations. The goal of Matego is to destroy as fast as possible the numbers of your opponent. If you ...
Joustra Software | 843KB | Win 3.x/95/98/ME/NT/2000 | $12 | Downloads: 1224
Date added: Sep 23, 2005 |  » Details
go to top Select page: [1]
What Font is | fonts | free fonts | download fonts | free fonts download | web fonts |